21. Compiler construction : 8th International Conference, CC'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: Stefan Jahnichen, ed
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
1575
22. Compiler construction : 16th International Conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings
Author: Shriram Krishnamurthi, Martin Odersky )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
4420
23. Compiler construction: 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Evelyn Duesterwald )ed.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
76
.
C65
C32
2004
24. Compiler construction : 11th international conference, CC 2002 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
Author: R. Nigel Horspool )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2304
25. Compiler construction : 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Evelyn Duesterwald )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2985
26. Compiler construction : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Author: Gorel Hedin )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Compilers )Computer programs(
Classification :
QA
76
.
L28
Vol
.
2622
27. Conceptual modeling--ER 2011 :
Author: Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
Classification :
QA76
.
9
.
C65
I58
2011
28. Design and optimization of compilers
Author: / Edited by Randall Rustin
Library: Library of College of Science University of Tehran (Tehran)
Subject: Compilers (Computer programs) -- Congresses
Classification :
QA
76
.
6
.
C67
29. Eighth Workshop on Interaction Between Compilers and Computer Architecture
Author:
Library: Ilam University Central Library (Ilam)
Subject: Compilers (Computer programs)- Congresses,Computer architecture- Congresses
Classification :
QA76
.
76
.
W6E5
2004
30. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
31. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
32. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
33. Fundamental Approaches to Software Engineering
Author: \ Alexander Egyed, Ina Schaefer (eds.).
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگرهها ,مهندسی نرم افزار ,زبانهای برنامه نویسی
Classification :
QA76
.
758
.
F44
2015
E-Book
,
34. High performance embedded architectures and compilers
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Embedded computer systems ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer architecture ; Congresses. ;
35. High performance embedded architectures and compilers
Author: / Koen De Bosschere ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Embedded computer systems--Congresses,Compilers (Computer programs)--Congresses,Computer architecture--Congresses
Classification :
TK
,
7895
,.
E42
,
H57
,
2007
36. High performance embedded architectures and compilers
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Embedded computer systems ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer architecture ; Congresses. ;
37. High performance embedded architectures and compilers
Author: / Per Stenstr?�m ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Embedded computer systems--Congresses,Compilers (Computer programs)--Congresses,Computer architecture--Congresses
Classification :
TK
,
7895
,.
E42
,
H57
,
2008
38. High performance embedded architectures and compilers : Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007 : proceedings
Author: Koen De Bosschere... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
QA
76
.
L28
Vol
.
4367
39. High performance embedded architectures and compilers: <5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 proceedings>
Author: / Yale N. Patt... [et al.], (eds.)
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Embedded computer systems,Compilers (Computer programs),Computer architecture,High performance computing,HiPEAC,-- Congresses,-- Congresses,-- Congresses,-- Congresses
Classification :
004
.
22
I61H
2010
40. High performance embedded architectures and compilers5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Embedded computer systems,Congresses ، Compilers )Computer programs(,Congresses ، Computer architecture
Classification :
TK
7895
.
E42
.
H57
2010
